x OR trueの真理値は全てtrueになる
from
3値論理の真理表
強いほうが弱いほうを飲み込む
true OR unknown = true
unknown OR true = true